Delimited continuation - PDFSEARCH.IO - Document Search Engine

Delimited continuation
Results: 42

#	Item
11	BRICS Basic Research in Computer Science BRICS RSBiernacka et al.: An Operational Foundation for Delimited Continuations An Operational Foundation for Add to Reading List Source URL: www.brics.dk Language: English - Date: 2004-01-23 08:27:09 Control flow Continuations Procedural programming languages Functional programming Delimited continuation Eval Continuation-passing style Continuation Standard ML Software engineering Computing Computer programming
12	Shift to control Chung-chieh Shan Harvard University Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:05:32 Continuations Lambda calculus Control flow Recursion Delimited continuation Programming language semantics Continuation-passing style Continuation Call-with-current-continuation Software engineering Computer programming Computing
13	An Implementation of Transparent Migration on Standard Scheme Eijiro Sumii University of Tokyo Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:05:10 Lambda calculus Continuations Functional programming Control flow Data types Delimited continuation Call-with-current-continuation Continuation Fixed-point combinator Software engineering Computing Computer programming
14	Delimited Continuations in CS and Linguistics1 Oleg Kiselyov (FNMOC) Chung-chieh Shan (Rutgers University) December 4, 2007 Add to Reading List Source URL: okmij.org Language: English - Date: 2007-12-06 06:44:37 Computer programming Continuations Delimited continuation Continuation ALGOL 68 Type system Software engineering Control flow Computing
15	Delimited Continuations in CS and Linguistics1 Oleg Kiselyov (FNMOC) Chung-chieh Shan (Rutgers University) December 4, 2007 Add to Reading List Source URL: okmij.org Language: English - Date: 2007-12-06 06:47:43 Computer programming Continuations Delimited continuation Continuation ALGOL 68 Type system Function Eval Software engineering Control flow Computing
16	Delimited Control in OCaml, Abstractly and Concretely System Description Oleg Kiselyov FNMOC Add to Reading List Source URL: okmij.org Language: English - Date: 2010-01-24 22:12:18 Control flow Functional languages OCaml Caml ML Delimited continuation Exception handling Thunk Dc Software engineering Computing Computer programming
17	Probabilistic programming using first-class stores and first-class continuations Oleg Kiselyov Chung-chieh Shan Add to Reading List Source URL: okmij.org Language: English - Date: 2010-06-28 20:21:14 Computing Statistical models Reasoning Continuations Delimited continuation Statistical relational learning Inference OCaml Software engineering Computer programming Control flow
18	Adding Delimited and Composable Control to a Production Programming Environment Matthew Flatt1 Gang Yu Add to Reading List Source URL: www.cs.utah.edu Language: English - Date: 2007-07-19 18:37:48 Control flow Land transport Delimited continuation V1 Call-with-current-continuation EMC EA/EB Software engineering Rail transport Continuations
19	Delimited continuations in operating systems Oleg Kiselyov1 and Chung-chieh Shan2 1 2 Add to Reading List Source URL: okmij.org Language: English - Date: 2007-06-08 18:05:44 Control flow Continuations Process Functional programming C POSIX library Delimited continuation Zipper Thread Kernel Computing Software engineering Computer programming
20	LISP AND SYMBOLIC COMPUTATION: An International Journal, 7, 83–110, 1994 c 1994 Kluwer Academic Publishers – Manufactured in The Netherlands Subcontinuations∗ ROBERT HIEB† Add to Reading List Source URL: www.cs.indiana.edu Language: English - Date: 2004-05-14 16:11:46 Control flow Continuations Lisp programming language Subroutines Functional programming Continuation Call-with-current-continuation Delimited continuation Lambda calculus Software engineering Computing Computer programming

UPDATE